2

Categorical and algebraic aspects of Martin-Löf Type Theory

Year:
1989
Language:
english
File:
PDF, 939 KB
english, 1989
3

Ein Fall von Hauthorn (Cornu cutaneum)

Year:
1886
Language:
german
File:
PDF, 360 KB
german, 1886
5

Ein Fall von Hauthorn (Cornu cutaneum)

Year:
1886
Language:
german
File:
PDF, 266 KB
german, 1886
7

(In search of) probabilistic P systems

Year:
2003
Language:
english
File:
PDF, 185 KB
english, 2003
18

Algebra of constructions I. The word problem for partial algebras

Year:
1987
Language:
english
File:
PDF, 2.08 MB
english, 1987
19

Partiality, cartesian closedness, and toposes

Year:
1989
Language:
english
File:
PDF, 2.07 MB
english, 1989
37

Triangular Logic of Partial Toposes

Year:
2000
Language:
english
File:
PDF, 1.57 MB
english, 2000
43

MEMBRANE COMPUTING AND ONE-WAY FUNCTIONS

Year:
2001
Language:
english
File:
PDF, 990 KB
english, 2001
46

GANDY'S PRINCIPLES FOR MECHANISMS AND MEMBRANE COMPUTING

Year:
2006
Language:
english
File:
PDF, 833 KB
english, 2006
47

Intestinal phase of gastric secretion in patients with duodenal ulcer

Year:
1978
Language:
english
File:
PDF, 774 KB
english, 1978